document.write(' ()');